Skip to content

Conversation

@arjunmahishi
Copy link

Description

Dev plugins (dev = true) with local directories (dir != '') should not be deleted during cleanup operations, even when located within the lazy root directory. This enables the workflow of developing plugins locally in the same location where they would be installed from upstream.


Let me know if there is a design consideration I'm missing. Thanks!

Dev plugins with local directories should not be deleted during cleanup
operations, even when located within the lazy root directory. This enables
the workflow of developing plugins locally in the same location where they
would be installed from upstream.
@github-actions
Copy link
Contributor

github-actions bot commented Sep 1, 2025

This PR is stale because it has been open 30 days with no activity.

@github-actions github-actions bot added the stale This issue or PR has been inactive for a while label Sep 1, 2025
@arjunmahishi
Copy link
Author

< insert activity >

@github-actions github-actions bot removed the stale This issue or PR has been inactive for a while label Sep 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant